home *** CD-ROM | disk | FTP | other *** search
/ SPACE 1 / SPACE - Library 1 - Volume 1.iso / program / 363 / xprolog2 / version.doc < prev    next >
Text File  |  1985-11-19  |  690b  |  22 lines
  1.  
  2.  
  3.         This is version 2.0 of X PROLOG
  4.  
  5. The former version was buried after some severe design mistakes were detected.
  6. But : THIS VERSION IS MERELY A PRELIMINARY VERSION
  7.  
  8. The following features are yet to be implemented :
  9.  
  10. - resizeable stacks
  11. - automatic stack reorganization
  12. - garbage collection (for functors and the copystack)
  13. - TOS interface
  14. - GEM predicates (any ideas ???)
  15. - special meta-logical predicates such as
  16.     ancestor cut
  17.     freeze and unfreeze of terms
  18.     debugging hooks (for a meta-level debugger)
  19. - a good debugger (currently only a simple trace is supplied)
  20. - grammar rule translator (cprolog's DCG translator would do, but ...)
  21. - .....
  22.